How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored

Source URL: www.hboehm.info

• Computing
• Software engineering
• Software
• Compiler construction
• Concurrency
• Programming language implementation
• Parallel computing
• Memory model
• Volatile
• Java memory model
• OpenMP
• Optimizing compiler

Essentials of the Java Programming Language

Source URL: pawlan.com

Titanium Language Reference Manual, versionPaul N. Hilfinger Dan Oscar Bonachea Kaushik Datta David Gay

Source URL: titanium.cs.berkeley.edu

• Cross-platform software
• Data types
• Object-oriented programming languages
• Programming language comparisons
• Java platform
• Java
• D
• Constructor
• Sun Microsystems
• C Sharp
• Array data type
• Constant

Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability

Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

Source URL: ecoop14.it.uu.se

• Computing
• Computer science
• Academia
• ACM Transactions on Programming Languages and Systems
• International Symposium on Memory Management
• Programming Language Design and Implementation
• Benchmarking
• Uncertainty
• Benchmark
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Standard Performance Evaluation Corporation
• Common Object Request Broker Architecture

A Featherweight Java Interpreter Implemented in a Functional Programming Language Despite the fact that the functional programming languages are very old, they are still getting more familiar even to non-academic develop

Source URL: www.acm-spy.cz

JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014

Source URL: www.havelund.com

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• Java
• Data types
• Procedural programming languages
• Type conversion
• Type theory
• Relational operator
• C
• Integer overflow

FILIP PIZLO Resume • filpizlo.com • 1817 47th Ave • Capitola, CA 95010 • Summary. I’m a systems programmer specializing in compilers, programming language runtimes, memory management,

Source URL: www.filpizlo.com

• Computing
• Software
• Java
• Compilers
• Compiler construction
• Programming language implementation
• Cross-platform software
• Jikes RVM
• SIGPLAN
• LLVM
• Just-in-time compilation
• Real time Java

Hadoop + Clojure Hadoop World NYC Friday, October 2, 2009 Stuart Sierra, AltLaw.org JVM Languages

Source URL: stuartsierra.com

• Cross-platform software
• Functional languages
• Lisp programming language
• Clojure
• Lisp
• Java
• Main function
• Constructor
• Symbol
• Computing
• Software engineering
• Computer programming